| Security Test Examples |
|
In the compiler | |
|
Can't cast pointers | |
|
|
Can't do pointer arithmetic | |
|
|
In the Virtual Machine | |
|
|
Verifier attacks must not succeed | |
|
|
Can't overrun arrays | |